#include "led.h"
#include "hw_types.h"
#include "hw_memmap.h"
#include "sysctl.h"
#include "gpio.h"

void ledInit()
{
  SysCtlPeripheralEnable(LED_PERIPH);                     //  enable GPIO port connected led lamp
  GPIOPinTypeGPIOOutput(LED_PORT, LED_PIN);               //  sets LED pin output
  turnOffLed();
}

void turnOnLed()
{
	GPIOPinWrite(LED_PORT, LED_PIN, 0x00);
}

void turnOffLed()
{
	GPIOPinWrite(LED_PORT, LED_PIN, 0xFF); 
}
